New evolutionary foundations: Theoretical requirements for a science of sustainability

Source URL: timwaring.files.wordpress.com

Predictions and Primitive Ontology in Quantum Foundations: A Study of Examples Valia Allori∗, Sheldon Goldstein†, Roderich Tumulka‡, and Nino Zangh`ı§ August 21, 2012

Source URL: math.rutgers.edu

• Physics
• Quantum measurement
• Interpretations of quantum mechanics
• Quantum mechanics
• Quantum states
• De BroglieBohm theory
• GhirardiRiminiWeber theory
• Wave function
• Quantum field theory
• Laws of science
• Mathematical formulation of quantum mechanics
• Many-worlds interpretation

Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh

Source URL: cs.ioc.ee

Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou

Source URL: www.disco.ethz.ch

• Computing
• Wireless sensor network
• Computer science
• Distributed computing
• Symposium on Principles of Distributed Computing
• Conference on Embedded Networked Sensor Systems
• International Conference on Information Processing in Sensor Networks
• Symposium on Foundations of Computer Science
• Symposium on Theory of Computing
• International Colloquium on Automata
• Languages and Programming
• ACM SIGACT
• Dijkstra Prize

Probabilistic Communication Complexity - Foundations of Computer Science, 1984. 25th Annual Symposium on

Source URL: cseweb.ucsd.edu

International Journal of Foundations of Computer Science c World Scientific Publishing Company COMPOSITIONAL TYPE SYSTEMS FOR STACK-BASED LOW-LEVEL LANGUAGES

Source URL: cs.ioc.ee

Effect of connectivity in associative memory models - Foundations of Computer Science, 1988., 29th Annual Symposium on

Source URL: cseweb.ucsd.edu

Model Checking Infinite State Spaces Javier Esparza Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh

Source URL: www7.in.tum.de

UCL DEPARTMENT OF COMPUTER SCIENCE MSc in Information Security Providing the foundations for a rewarding career in the growing cyber security industry or further doctoral research. International security experts teachin

Source URL: www.emilianodc.com

Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics,

Source URL: www.pps.univ-paris-diderot.fr